home *** CD-ROM | disk | FTP | other *** search
/ Skunkware 5 / Skunkware 5.iso / src / Tools / linuxdoc-sgml-1.1 / sgmls-1.1 / pars1.c < prev    next >
Encoding:
C/C++ Source or Header  |  1995-05-03  |  35.1 KB  |  959 lines
  1. #include "sgmlincl.h"         /* #INCLUDE statements for SGML parser. */
  2. #define GI (tags[ts].tetd->etdgi+1)              /* GI of current element. */
  3. #define NEWGI (newetd->etdgi+1)                  /* GI of new tag. */
  4.  
  5. static VOID doincludes P((void));
  6. static int pentname P((char *));
  7. static struct mpos *newmpos P((void));
  8. static VOID commbufs P((void));
  9. static VOID checkdtd P((void));
  10.  
  11. /* PARSECON: Parse content of an element.
  12. */
  13. int parsecon(tbuf, pcb)
  14. UNCH *tbuf;                   /* Work area for tokenization. */
  15. struct parse *pcb;            /* Parse control block for this parse. */
  16. {
  17.      int srn;                 /* SHORTREF delimiter number (1-32). */
  18.      int refrc;               /* Return code from sentref, stagetd, etc. */
  19.  
  20.      TRACECON(etagimct, dostag, datarc, pcb, conrefsw, didreq);
  21.      if (eodsw) return(EOD_);
  22.      if (didreq && (conrefsw & TAGREF)) {didreq = 0; goto conr;}
  23.      if (etagimct>0) {etagimsw = --etagimct ? 1 : 0; destack(); return(ETG_);}
  24.      if (dostag) {
  25.           conrefsw = conrefsv;
  26.           etisw = etiswsv;
  27.           if (charmode) {dostag = 0; return datarc;}
  28.           return stag(datarc);
  29.      }
  30.      if (conrefsw) {
  31.      conr:
  32.       destack();
  33.       conrefsw = 0;
  34.       return ETG_;
  35.      }
  36.      else if (eofsw) return(EOD_);
  37.  
  38.      datarc = 0;
  39.      while (1) {
  40.           parse(pcb);
  41.           srn = (int)pcb->action - SRMIN;  /* Just in case it's a SHORTREF. */
  42.           switch (pcb->action) {
  43.           case DCE_:          /* Data character in element content. */
  44.               /* The data character might be a non-SGML character so
  45.                   reprocess it using pcbconm. */
  46.            REPEATCC;
  47.            pcb = conpcb = &pcbconm;
  48.            pcb->newstate = pcbcnet;
  49.            continue;
  50.           case DAS_:          /* Current character begins data. */
  51.                data = FPOS;
  52.                continue;
  53.  
  54.           case NLF_:          /* NET or SR returns data in lookahead buffer. */
  55.                datalen = (UNS)(ptcon - data); REPEATCC;
  56.                goto rcc;
  57.  
  58.           case LAF_:          /* Return data in lookahead buffer: mixed. */
  59.                datalen = (UNS)(ptcon+1 - data);
  60.                goto rcc;
  61.  
  62.           case NON_:          /* Single nonchar in nonchbuf. */
  63.                datalen = 2; data = nonchbuf;
  64.                goto nrcc;
  65.  
  66.           case DAR_:          /* Return data except for last char. */
  67.                REPEATCC;
  68.           case DAF_:          /* Return data in source entity buffer. */
  69.                datalen = (UNS)(FPOS - data);
  70.           rcc:
  71.            REPEATCC;
  72.           case DEF_:          /* Return data in data entity. */
  73.           nrcc:
  74.            datarc = DAF_;
  75.                if (pcb==&pcbcone) {
  76.                     pcbconm.newstate = pcbcnet;
  77.                     conpcb = &pcbconm;
  78.                }
  79.                if (charmode) return(datarc);
  80.                stagmin = MINNONE; stagreal = newetd = ETDCDATA;
  81.                return(stag(datarc));
  82.  
  83.           case LAS_:          /* Start lookahead buffer with current char. */
  84.                *(ptcon = data = tbuf+1) = *FPOS;
  85.                continue;
  86.  
  87.           case LAM_:          /* Move character to lookahead buffer. */
  88.                *++ptcon = *FPOS;
  89.                continue;
  90.  
  91.           case STG_:          /* Process non-null start-tag. */
  92.                CTRSET(tagctr);          /* Start counting tag length. */
  93.                parsenm(tbuf, NAMECASE); /* Get the GI. */
  94.                newetd = etdref(tbuf);
  95.                if (newetd && newetd->adl) {
  96.                     parseatt(newetd->adl, tbuf);
  97.                     adlval((int)ADN(al), newetd);
  98.                }
  99.                parsetag(&pcbstag);      /* Parse the tag ending. */
  100.                if ((CTRGET(tagctr)-tagdelsw)>=TAGLEN)
  101.                     sgmlerr(66, &pcbstag, (UNCH *)0, (UNCH *)0);
  102.                if (!newetd) {
  103.                     sgmlerr(132, pcb, tbuf+1, (UNCH *)0);
  104.                     continue;
  105.                }
  106.                return(stagetd(&pcbstag));
  107.  
  108.           case NST_:          /* Process null start-tag. */
  109.                return nstetd();
  110.  
  111.           case ETC_:          /* End-tag in CDATA or RCDATA. */
  112.           case ETG_:          /* Process non-null end-tag. */
  113.                newetd = etdref(parsenm(tbuf, NAMECASE));  /* Get the GI. */
  114.                parsetag(&pcbetag);                        /* Parse tag end. */
  115.                if (!newetd)                               /* Error: undefined.*/
  116.                     sgmlerr(11, &pcbetag, tbuf+1, (UNCH *)0);
  117.                else if (etagetd(&pcbetag)>=0) return ETG_;/* Open element. */
  118.                if (pcb->action!=ETC_) continue;
  119.                /* Tag is undefined or not for an open element and we are in
  120.                   a CDATA or RCDATA element; issue message and treat as
  121.                   null end-tag (</>).
  122.                */
  123.                sgmlerr(57, &pcbetag, (UNCH *)0, (UNCH *)0);
  124.           case NET_:          /* Process null end-tag. */
  125.                if ((refrc = netetd(conpcb))!=0) return ETG_;
  126.                continue;
  127.  
  128.           case NED_:          /* Process null end-tag delimiter. */
  129.                etagmin = MINNET;
  130.                newetd = etagreal = ETDNET;
  131.                etagimct = etag();
  132.                etagimsw = etagimct ? 1 : 0; destack();
  133.                return ETG_;
  134.       case GTR_:
  135.                if (entget()!=-1) {
  136.             data = FPOS;
  137.             continue;
  138.            }
  139.            /* fall through */
  140.           case EOD_:          /* End of primary file. */
  141.                if (ts<1) return(EOD_);  /* Normal end: stack is empty. */
  142.                etagimct = ts-1;     /* Treat as end-tag for top tag on stack. */
  143.                etagmin = MINETAG; etagreal = tags[0].tetd;
  144.                destack();
  145.                eofsw = 1;          /* Return EOD_ after destacking all. */
  146.                return ETG_;
  147.  
  148.           /* Short references ending with blanks:
  149.                If the blank sequence is followed by RE, go do SR7 or SR6.
  150.                If the entity is undefined and we are in mixed content,
  151.                the blanks must be returned as data.  If not, they
  152.                can be ignored.
  153.           */
  154.           case SR9_:          /* Process SR9 (two or more blanks). */
  155.                REPEATCC;      /* Make first blank the CC. */
  156.           case SR4_:          /* Process SR4 (RS, blanks). */
  157.                parseseq(tbuf, BSEQLEN); /* Squeeze out all blanks. */
  158.                if (*FPOS=='\r') {srn = (srn==9) ? 7 : 6; data = tbuf; goto sr6;}
  159.                else REPEATCC;
  160.                if ((refrc = shortref(srn, pcb))==DEF_) goto nrcc;
  161.                if (refrc>0) return refrc;
  162.                if (refrc==ENTUNDEF && pcb==&pcbconm)
  163.                     {data = tbuf; goto nrcc;}
  164.                continue;
  165.  
  166.           /* Short references ending with RE:
  167.                If the reference is defined, the RE is ignored.
  168.                For RE and RS RE,
  169.                no special action is needed if the reference is undefined,
  170.                as the RE will be processed immediately as the current character.
  171.                For B RE and RS B RE,
  172.                the input is primed with a special character that will
  173.                be treated as an RE that cannot be a short reference.
  174.           */
  175.           case SR7_:          /* Process SR7 (blanks, RE). */
  176.                datalen = (UNS)(FPOS - data);
  177.           case SR2_:          /* Process SR2 (RE). */
  178.           case SR5_:          /* Process SR5 (RS, RE). */
  179.           sr6:                /* Process SR6 (RS, blanks, RE). */
  180.                if ((refrc = shortref(srn, pcb))!=ENTUNDEF) {
  181.                     if (refrc==DEF_) goto nrcc;   /* Defined: data entity. */
  182.                     if (refrc>0) return refrc;    /* Defined: tag entity. */
  183.                     continue;                     /* Defined: not tag. */
  184.                }
  185.                if (pcb!=&pcbconm) continue;       /* Not mixed; ignore chars. */
  186.                if (srn>=6)                        /* Return blanks as data. */
  187.                     {*FPOS = lex.d.genre; REPEATCC; goto nrcc;}
  188.           case REF_:          /* Undefined SR with RE; return record end. */
  189.                datarc = REF_;
  190.                if (charmode) return(datarc);
  191. #if 0
  192.            /* The standard says this situation can force a tag.
  193.           See 323:3-6, 412:1-7. */
  194.                /* If RE would be ignored, don't treat it as start-tag
  195.                   because it could force a required tag; but do change
  196.                   state to show that an RE was ignored.
  197.                */
  198.                if (scbsgml[pss].snext==scbsgmst) {
  199.                     scbsgml[pss].snext = scbsgmnr;
  200.             TRACEGML(scbsgml, pss, conactsw, conact);
  201.                     continue;
  202.                }
  203. #endif
  204.                stagmin = MINNONE; stagreal = newetd = ETDCDATA;
  205.                return(stag(datarc));
  206.  
  207.           case SR3_:          /* Process SR3 (RS). */
  208.                REPEATCC;
  209.                if ((refrc = shortref(srn, pcb))==DEF_) goto nrcc;
  210.                if (refrc>0) return refrc;
  211.                continue;
  212.  
  213.           case RBR_:          /* Two right brackets  */
  214.            srn = 26;
  215.            REPEATCC;
  216.            /* fall through */
  217.           case SR1_:          /* Process SR1 (TAB). */
  218.           case SR8_:          /* Process SR8 (space). */
  219.           case SR19:          /* Process SR19 (-). */
  220.       case SR26:          /* Process SR26 (]). */
  221.                REPEATCC;
  222.                goto srproc;
  223.  
  224.           case FCE_:          /* Process free character (SR11-18, SR21-32). */
  225.                fce[0] = *FPOS;
  226.                srn = mapsrch(&lex.s.dtb[lex.s.fce], fce);
  227.           case SR10:          /* Process SR10 ("). */
  228.           case SR11:          /* Process SR11 (#). */
  229.           case SR20:          /* Process SR20 (-). */
  230.       case SR25:          /* Process SR25 ([). */
  231.           srproc:
  232.                if ((refrc = shortref(srn, pcb))==DEF_) goto nrcc;
  233.                if (refrc>0) return refrc;
  234.                if (refrc==ENTUNDEF) {             /* Treat the SR as data. */
  235.                     data = FPOS - (srn==lex.s.hyp2);/* Two data chars if SR20.*/
  236.                     if (pcb!=&pcbconm) {         /* If not in mixed content: */
  237.                          if (srn>=lex.s.data) {  /* Change PCB. */
  238.                   pcb = conpcb = &pcbconm;
  239.                   pcb->newstate = pcbcnda;
  240.              }
  241.                     }
  242.                     else pcb->newstate = pcbcnda;/* Now in data found state. */
  243.                }
  244.                continue;
  245.  
  246.           case ERX_:          /* Entity ref in RCDATA: cancel ending delims.*/
  247.                lexcon[lex.d.tago] = lex.l.fre;
  248.                lexcon[lex.d.net] = lex.l.nonet;
  249.                lexlms[lex.d.msc] = lex.l.fre;
  250.                continue;
  251.  
  252.           case EE_:           /* Entity end in RCDATA: check nesting. */
  253.                if (es<rcessv) {synerr(37, pcb); rcessv = es;}
  254.                /* If back at top level, re-enable the ending delimiters. */
  255.                if (es==rcessv) {
  256.                     lexcon[lex.d.tago] = lex.l.tago;
  257.                     lexcon[lex.d.net] = etictr ? lex.l.net : lex.l.nonet;
  258.                     lexlms[lex.d.msc] = lex.l.msc;
  259.                }
  260.                continue;
  261.  
  262.           case PIE_:          /* PI entity: same as PIS_. */
  263.                return PIS_;
  264.  
  265.           case RSR_:               /* Record start: ccnt=0; ++rcnt.*/
  266.                ++RCNT; CTRSET(RSCC);
  267.           default:
  268.                return (int)pcb->action; /* Default (MD_ MDC_ MSS_ MSE_ PIS_). */
  269.           }
  270.      }
  271. }
  272. /* STAGETD: Process start-tag etd.
  273. */
  274. int stagetd(pcb)
  275. struct parse *pcb;            /* Parse control block for this parse. */
  276. {
  277.      if (!newetd->etdmod) {
  278.           sgmlerr(43, pcb, newetd->etdgi+1, (UNCH *)0);
  279.           ++ds.etdercnt;
  280.           etdset(newetd, (UNCH)SMO+EMO+ETDOCC, &undechdr,
  281.                 (PETD *)0, (PETD *)0, (PECB *)0);
  282.           TRACEETD(newetd);
  283.      }
  284.      stagmin = MINNONE; stagreal = newetd;
  285.      return stag(0);
  286. }
  287. /* NSTETD: Process null start-tag etd.
  288. */
  289. int nstetd()
  290. {
  291.      newetd = ts>0 ? tags[ts].tetd
  292.                    : tags[0].tetd->etdmod[2].tu.thetd;
  293.      stagmin = MINNULL; stagreal = ETDNULL;
  294.      etisw = 0;
  295.      return stag(0);
  296. }
  297. /* ETAGETD: Process end-tag etd.
  298. */
  299. int etagetd(pcb)
  300. struct parse *pcb;            /* Parse control block for this parse. */
  301. {
  302.      etagmin = MINNONE; etagreal = newetd;
  303.      if ((etagimct = etag())<0) {
  304.           sgmlerr(E_ETAG, pcb, NEWGI, tags[ts].tetd->etdgi+1);
  305.           return etagimct;
  306.      }
  307.      etagimsw = etagimct ? 1 : 0; destack();
  308.      return ETG_;
  309. }
  310. /* NETETD: Process null end-tag etd.
  311. */
  312. int netetd(pcb)
  313. struct parse *pcb;            /* Parse control block for this parse. */
  314. {
  315.      if (ts<1) {
  316.           sgmlerr(51, pcb, (UNCH *)0, (UNCH *)0);
  317.           return 0;
  318.      }
  319.      etagmin = MINNULL; etagreal = ETDNULL;
  320.      etagimsw = 0; destack();
  321.      return ETG_;
  322. }
  323. /* SHORTREF: Process a short (alternative) reference to an entity.
  324.              Returns ENTUNDEF if entity is not defined, otherwise returns
  325.              the return code from stagetd or etagetd if the entity was
  326.              a tag, or zero if an error occurred somewhere.
  327. */
  328. int shortref(srn, pcb)
  329. int srn;                      /* Short reference number. */
  330. struct parse *pcb;            /* Parse control block for this parse. */
  331. {
  332.      int rc;                  /* Return code from entopen. */
  333.  
  334.      if (tags[ts].tsrm==SRMNULL || !tags[ts].tsrm[srn]) return ENTUNDEF;
  335.      if (!tags[ts].tsrm[srn]->estore) {
  336.           sgmlerr(93, pcb, tags[ts].tsrm[srn]->ename+1,
  337.                            tags[ts].tsrm[0]->ename+1);
  338.           return(ENTUNDEF);
  339.      }
  340.      rc = entopen(tags[ts].tsrm[srn]);
  341.      if (rc==ENTDATA) return DEF_;
  342.      if (rc==ENTPI) return PIS_;
  343.      return(0);
  344. }
  345. /* PARSEPRO: Parse prolog.
  346.              Note: ptpro cannot overrun tbuf (and therefore needn't be
  347.              tested), as long as the buffer exceeds the longest
  348.              lookahead sequence in the content parse tables.
  349. */
  350. int parsepro()
  351. {
  352.      struct parse *oldpcb;
  353.  
  354.      while (1) {
  355.           int rc;                  /* Return code: DAF MSS DCE */
  356.           switch (parse(propcb)) {
  357.  
  358.           case LAS_:          /* Start lookahead buffer with current char. */
  359.                *(ptpro = data = tbuf+1) = *FPOS;
  360.                continue;
  361.           case LAM_:          /* Move character to lookahead buffer. */
  362.                *++ptpro = *FPOS;
  363.                continue;
  364.           case LAF_:          /* Return data in lookahead buffer. */
  365.                datalen = (UNS)(ptpro+1 - data);
  366.                REPEATCC;
  367.                rc = DAF_;
  368.                break;         /* Prolog ended; data pending. */
  369.  
  370.           case DTD_:          /* Process document type declaration. */
  371.                parsenm(tbuf, NAMECASE); /* Get declaration name. */
  372.                if (!ustrcmp(tbuf+1, sgmlkey)
  373.            && !dtdsw && !sgmlsw++) {
  374. #if 0
  375.             parse(&pcbmdi);
  376. #endif
  377.             /* If we got some appinfo, return. */
  378.             if (sgmldecl())
  379.              return APP_;
  380.             continue;
  381.            }
  382.                if (!ustrcmp(tbuf+1, key[KDOCTYPE]) && !dtdsw++) {
  383.             startdtd();
  384.             mddtds(tbuf);
  385.             continue;
  386.            }
  387.                sgmlerr(E_MDNAME, propcb, tbuf+1, (UNCH *)0);
  388.                continue;
  389.           case DTE_:          /* DOCTYPE declaration (and prolog) ended. */
  390.                REPEATCC;      /* Put back char that followed MSC. */
  391.            if (es != 0)
  392.             sgmlerr(143, propcb, (UNCH *)0, (UNCH *)0);
  393.                else if (dtdrefsw) {/* Process referenced DTD before real DTE. */
  394.                     dtdrefsw = 0; /* Keep us from coming through here again. */
  395.                     REPEATCC; /* Put back MSC so it follows referenced DTD. */
  396.                     entref(indtdent);
  397.                }
  398.                else mddtde(tbuf);
  399.                continue;
  400.  
  401.           case MD_:
  402.            /* Process markup declaration within DTD or LPD. */
  403.                parsenm(tbuf, NAMECASE); /* Get declaration name. */
  404.                if (!ustrcmp(tbuf+1, key[KENTITY]))
  405.             mdentity(tbuf);
  406.                else if (!ustrcmp(tbuf+1, key[KUSEMAP]))
  407.             mdsrmuse(tbuf);
  408.                else if (!ustrcmp(tbuf+1, key[KATTLIST]))
  409.             mdadl(tbuf);
  410.                else if (!ustrcmp(tbuf+1, key[KSHORTREF]))
  411.             mdsrmdef(tbuf);
  412.                else if (!ustrcmp(tbuf+1, key[KELEMENT]))
  413.             mdelem(tbuf);
  414.                else if (!ustrcmp(tbuf+1, key[KNOTATION]))
  415.             mdnot(tbuf);
  416.                else
  417.             sgmlerr(E_MDNAME, propcb, tbuf+1, (UNCH *)0);
  418.                continue;
  419.           case MDC_:          /* Process markup declaration comment. */
  420.            sgmlsw++;      /* SGML declaration not allowed after comment */
  421.                parsemd(tbuf, NAMECASE, (struct parse *)0, NAMELEN);
  422.                continue;
  423.  
  424.           case MSS_:          /* Process marked section start. */
  425.            oldpcb = propcb;
  426.                propcb = mdms(tbuf, propcb);
  427.                if (propcb==&pcbmsc || propcb==&pcbmsrc) {
  428.             if (oldpcb == &pcbmds)
  429.              sgmlerr(135, oldpcb, (UNCH *)0, (UNCH *)0);
  430.             conpcb = propcb;
  431.             rc = DCE_;
  432.             break;
  433.            }
  434.                continue;
  435.           case MSE_:          /* Process marked section end. */
  436.                if (mdmse()) propcb = &pcbmds;
  437.                continue;
  438.       case MSP_:          /* Marked section start in prolog outside DTD */
  439.            rc = MSS_;
  440.            break;
  441.           case PIE_:          /* PI entity: same as PIS_. */
  442.                return(PIS_);
  443.  
  444.           case EOD_:          /* Return end of primary entity. */
  445.            if (!sw.onlypro || propcb != &pcbpro || !dtdsw)
  446.             sgmlerr(127, propcb, (UNCH *)0, (UNCH *)0);
  447.            else {
  448.             setdtype();
  449.             checkdtd();
  450.            }
  451.                return propcb->action;
  452.           case PIS_:          /* Return processing instruction (string). */
  453.            sgmlsw++;      /* SGML declaration not allowed after PI */
  454.                return((int)propcb->action);  /* Prolog will continue later. */
  455.  
  456.           case CIR_:          /* Chars ignored; trying to resume parse. */
  457.                synerr(E_RESTART, propcb);
  458.                REPEATCC;
  459.                continue;
  460.       case STE_:          /* Start tag ended prolog */
  461.            REPEATCC;
  462.            REPEATCC;
  463.            rc = STE_;
  464.            break;
  465.           case PEP_:          /* Previous character ended prolog. */
  466.                REPEATCC;
  467.           case DCE_:          /* Data character ended prolog. */
  468.                REPEATCC;
  469.                rc = DCE_;
  470.                break;
  471.       case EE_:          /* Illegal entity end in ignored marked section. */
  472.            /* An error message has already been given. */
  473.            continue;
  474.       default:
  475.            abort();
  476.           } /* switch */
  477.           setdtype();           /* First pass only: set document type. */
  478.       checkdtd();
  479.       if (sw.onlypro)
  480.            return EOD_;
  481.           TRACESET();              /* Set trace switches. */
  482.       endprolog();
  483.           /* *DOC is first element; stack it at level 0. */
  484.           stack(newetd = nextetd = stagreal = etagreal = docetd);
  485.           return(rc);
  486.      } /* while */
  487. }
  488.  
  489. /* Allocate buffers that are used in the DTD. */
  490.  
  491. VOID startdtd()
  492. {
  493.      nmgrp = (struct etd **)rmalloc((GRPCNT+1)*sizeof(struct etd *));
  494.      nnmgrp = (PDCB *)rmalloc((GRPCNT+1)*sizeof(PDCB));
  495.      gbuf = (struct thdr *)rmalloc((GRPGTCNT+3)*sizeof(struct thdr));
  496.      /* The extra 1 is for parsing the name of a parameter entity in
  497.     mdentity(). */
  498.      nmbuf = (UNCH *)rmalloc(NAMELEN+3);
  499.      pubibuf = (UNCH *)rmalloc(LITLEN+1);
  500.      sysibuf = (UNCH *)rmalloc(LITLEN+1);
  501.      commbufs();
  502.      doincludes();
  503. }
  504.  
  505. static
  506. VOID checkdtd()
  507. {
  508.      struct dcncb *np;
  509.  
  510.      if (sw.swundef) {
  511.       int i;
  512.       struct etd *ep;
  513.       struct srh *sp;
  514.  
  515.       for (i = 0; i < ETDHASH; i++)
  516.            for (ep = etdtab[i]; ep; ep = ep->etdnext)
  517.             if (!ep->etdmod)
  518.              sgmlerr(140, (struct parse *)0, ep->etdgi + 1,
  519.                  (UNCH *)0);
  520.       for (sp = srhtab[0]; sp; sp = sp->enext)
  521.            if (sp->srhsrm[0] == 0)
  522.             sgmlerr(152, (struct parse *)0, sp->ename + 1,
  523.                 (UNCH *)0);
  524.      }
  525.      for (np = dcntab[0]; np; np = np->enext)
  526.       if (!np->defined)
  527.            sgmlerr(192, (struct parse *)0, np->ename + 1, (UNCH *)0);
  528. }
  529.  
  530. /* Return non-zero if s is a valid parameter entity name.
  531. If so put a transformed name in entbuf. */
  532.  
  533. static
  534. int pentname(s)
  535. char *s;
  536. {
  537.      int i;
  538.      if (lextoke[(UNCH)*s] != NMS)
  539.       return 0;
  540.      entbuf[2] = ENTCASE ? lextran[(UNCH)*s] : (UNCH)*s;
  541.      for (i = 1; s[i]; i++) {
  542.       if (i > NAMELEN - 1)
  543.            return 0;
  544.       if (lextoke[(UNCH)s[i]] < NMC || s[i] == EOBCHAR)
  545.            return 0;
  546.       entbuf[i + 2] = ENTCASE ? lextran[(UNCH)s[i]] : (UNCH)s[i];
  547.      }
  548.      entbuf[1] = lex.d.pero;
  549.      entbuf[i + 2] = '\0';
  550.      entbuf[0] = (UNCH)(i + 3);    /* length byte, PERO and '\0' */
  551.      return 1;
  552. }
  553.  
  554. /* Handle sw.includes. */
  555.  
  556. static
  557. VOID doincludes()
  558. {
  559.      char **p;
  560.      if (!sw.includes)
  561.       return;
  562.      for (p = sw.includes; *p; p++) {
  563.       if (pentname(*p)) {
  564.            if (!entfind(entbuf)) {
  565.             union etext etx;
  566.             etx.c = savestr(key[KINCLUDE]);
  567.             entdef(entbuf, ESM, &etx);
  568.             ++ds.ecbcnt;
  569.             ds.ecbtext += ustrlen(key[KINCLUDE]);
  570.            }
  571.       }
  572.       else
  573.            sgmlerr(138, (struct parse *)0, (UNCH *)*p, (UNCH *)0);
  574.      }
  575. }
  576.  
  577. /* Allocate buffers that are use both in the DTD and the instance. */
  578.  
  579. static
  580. VOID commbufs()
  581. {
  582.      al = (struct ad *)rmalloc((ATTCNT+2)*sizeof(struct ad));
  583.      lbuf = (UNCH *)rmalloc(LITLEN + 1);
  584. }
  585.  
  586. static
  587. struct mpos *newmpos()
  588. {
  589.      int j;
  590.      unsigned long *h;
  591.      struct mpos *p = (struct mpos *)rmalloc((GRPLVL+2)*sizeof(struct mpos));
  592.  
  593.      assert(grplongs > 0);
  594.      h = (unsigned long *)rmalloc((GRPLVL+2)*grplongs*sizeof(unsigned long));
  595.      for (j = 0; j < GRPLVL+2; j++) {
  596.       p[j].h = h;
  597.       h += grplongs;
  598.      }
  599.      return p;
  600. }
  601.  
  602. /* Perform end of prolog buffer allocation. */
  603.  
  604. VOID endprolog()
  605. {
  606.      int i;
  607.      
  608.      ambigfree();
  609.      if (dtdsw) {
  610.       frem((UNIV)nmgrp);
  611.       frem((UNIV)nnmgrp);
  612.       frem((UNIV)gbuf);
  613.       frem((UNIV)nmbuf);
  614.       frem((UNIV)sysibuf);
  615.       frem((UNIV)pubibuf);
  616.      }
  617.      else {
  618.       commbufs();
  619.       doincludes();
  620.      }
  621.      scbsgml = (struct restate *)rmalloc((TAGLVL+1)*sizeof(struct restate));
  622.      tags = (struct tag *)rmalloc((TAGLVL+1)*sizeof(struct tag));
  623.      grplongs = (GRPCNT + LONGBITS - 1)/LONGBITS;
  624.      for (i = 0; i < TAGLVL+1; i++)
  625.       tags[i].tpos = newmpos();
  626.      savedpos = newmpos();
  627. }
  628.  
  629. /* SETDTYPE: Establish specified or default document type.
  630. */
  631. VOID setdtype()
  632. {
  633.      /* Initialize default model hdr for declared content. */
  634.      undechdr.ttype = MANY+MCHARS+MGI;  /* Declared content is ANY. */
  635.      undechdr.tu.tnum = 0;              /* No content model. */
  636.  
  637.      /* Initialize content model and etd for *DOC. */
  638.      prcon[0].ttype = MGI;    /* Model is an element model. */
  639.      prcon[0].tu.tnum = 2;    /* A single group with a single GI in it. */
  640.      prcon[1].ttype = TTSEQ;  /* Non-repeatable SEQ group. */
  641.      prcon[1].tu.tnum = 1;    /* Only one token in group. */
  642.      prcon[2].ttype = TTETD;  /* Token is an etd. */
  643.      docetd = etddef(indocetd);  /* etd for document as a whole. */
  644.      etdset(docetd, ETDOCC, prcon, (PETD *)0, (PETD *)0, SRMNULL);
  645.  
  646.      /* Put specified or default document type etd in *DOC model. */
  647.      if (!dtype) {
  648.           sgmlerr(E_DOCTYPE, propcb, (UNCH *)0, (UNCH *)0);
  649.       dtype = indefetd;
  650.      }
  651.      prcon[2].tu.thetd = etddef(dtype);
  652.      if (!prcon[2].tu.thetd->etdmod) {
  653.       if (dtype != indefetd)
  654.            sgmlerr(52, propcb, dtype+1, (UNCH *)0);
  655.           ++ds.etdercnt;
  656.           etdset(prcon[2].tu.thetd, (UNCH)SMO+EMO+ETDUSED+ETDOCC, &undechdr,
  657.                 (PETD *)0, (PETD *)0, (PECB *)0);
  658.      }
  659.      TRACEETD(docetd);
  660.      TRACEMOD(prcon);
  661.      TRACEETD(prcon[2].tu.thetd);
  662.      return;
  663. }
  664. /* PARSETAG: Tag end parser for SGML documents.
  665.              For start-tags, it
  666.              sets etisw to TAGNET if tag ended with ETI; otherwise to 0.
  667. */
  668. VOID parsetag(pcb)
  669. struct parse *pcb;            /* Parse control block: pcbstag or pcbetag. */
  670. {
  671.      tagdelsw = 1;            /* Assume tag had an ETI or TAGC. */
  672.      switch (parse(pcb)) {
  673.      case ETIC:               /* Tag closed with ETI. */
  674.           if (!sd.shorttag) synerr(194, pcb);
  675.           etisw = TAGNET;     /* Set switch for stack entry flag. */
  676.           return;
  677.      case DSC:
  678.       synerr(9, pcb);
  679.       REPEATCC;
  680.       etisw = 0;
  681.       return;
  682.      case NVS:                /* Att name or value token found. */
  683.      case NTV:                /* Name token value found. */
  684.           synerr(E_POSSATT, pcb);
  685.           pcb->newstate = 0;  /* Reset parse state. */
  686.           REPEATCC;           /* Put it back for next read. */
  687.           tagdelsw = 0;       /* Tag had no closing delimiter. */
  688.           etisw = 0;          /* Don't flag stack entry. */
  689.       return;
  690.      case TAGO:               /* Tag closing implied by TAGO. */
  691.       if (!sd.shorttag) synerr(193, pcb);
  692.           REPEATCC;           /* Put it back for next read. */
  693.           tagdelsw = 0;       /* Tag had no closing delimiter. */
  694.      case TAGC:               /* Normal close. */
  695.      default:                 /* Invalid character (msg was sent). */
  696.           etisw = 0;          /* Don't flag stack entry. */
  697.           return;
  698.      }
  699. }
  700. /* STAG: Check whether a start-tag is valid at this point in the document
  701.          structure, or whether other tags must precede it.
  702.          Special case processing is done for the fake tag, #CDATA, as
  703.          it is never stacked.
  704. */
  705. int stag(dataret)
  706. int dataret;                  /* Data pending: DAF_ REF_ 0=not #PCDATA. */
  707. {
  708.      int rc, realrc;          /* Return code from context or other test. */
  709.      int mexts = 0;           /* >0=stack level of minus grp; -1=plus; 0=none.*/
  710.  
  711.      badresw = pexsw = 0;
  712.      /* If real element (i.e., not #PCDATA) set mexts and test if empty. */
  713.      if (dataret==0) {
  714.           mexts = pexmex(newetd);
  715.           /* If element is declared empty, it is same as a conref. */
  716.           if (GET(newetd->etdmod->ttype, MNONE)) conrefsw = TAGREF;
  717.      }
  718.      if (GET(tags[ts].tetd->etdmod->ttype, MANY))
  719.           rc = mexts>0 ? RCMEX : RCHIT;
  720.      else rc = context(newetd, tags[ts].tetd->etdmod, tags[ts].tpos,
  721.                        &tags[ts].status, mexts);
  722.      TRACESTG(newetd, dataret, rc, nextetd, mexts);
  723.  
  724.      switch (rc) {
  725.      case RCEND:         /* End current element, then retry start-tag. */
  726.           if (ts<1) realrc = RCMISS;
  727.           else      realrc = RCEND;
  728.           break;
  729.      case RCREQ:         /* Stack compulsory GI, then retry start-tag. */
  730.           realrc = RCREQ;
  731.           break;
  732.      case RCMISS:        /* Start-tag invalid (#PCDATA or real). */
  733.           if (ts>0 && GET(tags[ts].tetd->etdmod->ttype, MANY))
  734.                realrc = RCEND;
  735.           else realrc = RCMISS;
  736.           break;
  737.      case RCMEX:         /* Start-tag invalid (minus exception). */
  738.           etagimct = ts - mexts;
  739.           realrc = RCEND;
  740.           break;
  741.      case RCHITMEX:      /* Invalid minus exclusion for required element. */
  742. #if 0     /* This will have been detected by exclude.c. */
  743.           sgmlerr(E_MEXERR, &pcbstag, NEWGI, tags[mexts].tetd->etdgi+1);
  744. #endif
  745.      case RCHIT:         /* Start-tag was valid. */
  746.           realrc = RCHIT;
  747.           break;
  748.      case RCPEX:         /* Start-tag valid only because of plus exception. */
  749.           pexsw = TAGPEX;
  750.           realrc = RCHIT;
  751.           break;
  752.      default:
  753.       abort();
  754.      }
  755.  
  756.      switch (realrc) {
  757.      case RCEND:         /* End current element, then retry start-tag. */
  758.           if (didreq) sgmlerr(07, &pcbstag, nextetd->etdgi+1, (UNCH *)0);
  759.           didreq = 0;                   /* No required start-tag done. */
  760.           dostag = 1; etiswsv = etisw;  /* Save real start-tag status. */
  761.           conrefsv = conrefsw;          /* Save real start-tag conref. */
  762.           conrefsw = 0;                 /* Current element is not empty. */
  763.           etagmin = MINSTAG; destack(); /* Process omitted end-tag. */
  764.           return ETG_;
  765.      case RCREQ:         /* Stack compulsory GI, then retry start-tag. */
  766.           if (!BADPTR(nextetd)) {
  767. #if 0          /* This will have been detected in exclude.c. */
  768.                if ((mexts = pexmex(nextetd))>0)
  769.             sgmlerr(E_MEXERR, &pcbstag, nextetd->etdgi+1,
  770.                 tags[mexts].tetd->etdgi+1);
  771. #endif
  772.                if (!nextetd->etdmod) {
  773.                     sgmlerr(53, &pcbstag, nextetd->etdgi+1, (UNCH *)0);
  774.                     etdset(nextetd, (UNCH)SMO+EMO+ETDOCC, &undechdr,
  775.                           (PETD *)0, (PETD *)0, (PECB *)0);
  776.                     ++ds.etdercnt;
  777.                     TRACEETD(nextetd);
  778.                }
  779.           }
  780.           if (BITOFF(nextetd->etdmin, SMO)) {
  781.                if (!BADPTR(stagreal))
  782.                     sgmlerr(21, &pcbstag, nextetd->etdgi+1, stagreal->etdgi+1);
  783.                else if (stagreal==ETDCDATA)
  784.                     sgmlerr(49, &pcbstag, nextetd->etdgi+1, (UNCH *)0);
  785.                else sgmlerr(50, &pcbstag, nextetd->etdgi+1, (UNCH *)0);
  786.           }
  787.           didreq = 1;                   /* Required start-tag done. */
  788.           dostag = 1; etiswsv = etisw;  /* Save real start-tag status. */
  789.           etisw = 0; conrefsv = conrefsw;  /* Save real start-tag conref. */
  790.           /* If element is declared empty, it is same as a conref. */
  791.           conrefsw = (GET(nextetd->etdmod->ttype, MNONE)) ? TAGREF : 0;
  792.           stack(nextetd);               /* Process omitted start-tag. */
  793.           return STG_;
  794.      case RCMISS:        /* Start-tag invalid (#PCDATA or actual). */
  795.           dostag = 0; contersw |= 1; didreq = 0;
  796.           if (dataret) {
  797.                if (dataret==REF_) badresw = 1;
  798.                else sgmlerr(E_CHARS, conpcb, tags[ts].tetd->etdgi+1, (UNCH *)0);
  799.                return dataret;
  800.           }
  801.           sgmlerr(E_CONTEXT, &pcbstag, NEWGI, tags[ts].tetd->etdgi+1);
  802.           if (stagmin!=MINNULL) stagmin = MINNONE; stack(newetd);
  803.           return STG_;
  804.      case RCHIT:         /* Start-tag was valid. */
  805.           dostag = 0; didreq = 0;
  806.           if (dataret) return dataret;
  807.           stack(newetd);
  808.           return STG_;
  809.      }
  810.      return NOP_;        /* To avoid Borland C++ warning */
  811. }
  812. /* PEXMEX: See if a GI is in a plus or minus exception group on the stack.
  813.            If in a minus, returns stack level of minus group; otherwise,
  814.            returns -1 if in a plus and not a minus, and zero if in neither.
  815. */
  816. int pexmex(curetd)
  817. struct etd *curetd;           /* The etd for this GI. */
  818. {
  819.      int tsl;                 /* Temporary stack level for looping. */
  820.      int pex = 0;             /* 1=found in plus grp; 0=not. */
  821.  
  822.      for (tsl = ts; tsl>0; --tsl) {
  823.           if (tags[tsl].tetd->etdmex && ingrp(tags[tsl].tetd->etdmex, curetd))
  824.                return(tsl);
  825.           if (tags[tsl].tetd->etdpex && ingrp(tags[tsl].tetd->etdpex, curetd))
  826.                pex = -1;
  827.      }
  828.      return(pex);
  829. }
  830. /* STACK: Add a new entry to the tag stack.
  831.           If there is no room, issue a message and reuse last position.
  832. */
  833. VOID stack(curetd)
  834. struct etd *curetd;           /* The etd for this entry. */
  835. {
  836.      /* Stack the new element type definition (error if no room). */
  837.      if (++ts>TAGLVL)
  838.           sgmlerr(E_STAGMAX, conpcb, curetd->etdgi+1, tags[--ts].tetd->etdgi+1);
  839.      tags[ts].tetd = curetd;
  840.  
  841.      /* Set flags: plus exception + tag had ETI + context error + empty. */
  842.      tags[ts].tflags = (UNCH)pexsw + etisw + contersw + conrefsw; contersw = 0;
  843.  
  844.      /* If tag had ETI, update ETI counter and enable NET if first ETI. */
  845.      if (etisw && ++etictr==1) lexcon[lex.d.net] = lexcnm[lex.d.net] = lex.l.net;
  846.  
  847.      /* If etd has ALT table, use it; otherwise, use last element's ALT. */
  848.      if (curetd->etdsrm) {
  849.           if (curetd->etdsrm != SRMNULL && curetd->etdsrm[0] == NULL) {
  850.            /* Map hasn't been defined.  Ignore it. */
  851.            sgmlerr(159, &pcbstag, curetd->etdgi + 1, (UNCH *)0);
  852.            curetd->etdsrm = 0;
  853.            tags[ts].tsrm = tags[ts-1].tsrm;
  854.       }
  855.       else
  856.                tags[ts].tsrm = curetd->etdsrm;
  857.      }
  858.      else
  859.           tags[ts].tsrm = tags[ts-1].tsrm;
  860.  
  861.      /* Initialize rest of stack entry. */
  862.      tags[ts].status = 0;
  863.      tags[ts].tpos[0].g = 1;       /* M: Index in model of next token to test.*/
  864.      tags[ts].tpos[0].t = 1;       /* P: Index in tpos of current group. */
  865.      HITCLEAR(tags[ts].tpos[0].h);
  866.      tags[ts].tpos[1].g = 1;       /* Index of group in model (dummy grp). */
  867.      tags[ts].tpos[1].t = 1;       /* 1st token is next in grp to be tested. */
  868.      HITCLEAR(tags[ts].tpos[1].h); /* No hits yet as yet. */
  869.      TRACESTK(&tags[ts], ts, etictr);
  870.  
  871.      exclude();
  872.      return;
  873. }
  874. /* ETAG: Check validity of an end-tag by seeing if it matches any tag
  875.          on the stack.  If so, return the offset of the match from the
  876.          current entry (0=current).  If there is no match, issue a message
  877.          and return an error code (-1).
  878.          If the newetd is ETDNET, a NET delimiter was found, so check for
  879.          a tag that ended with ETI instead of a matching GI.
  880. */
  881. int etag()
  882. {
  883.      int tsl = ts+1;          /* Temporary stack level for looping. */
  884.  
  885.      /* See if end-tag is anywhere on stack, starting at current entry. */
  886.      while (--tsl) {
  887.           if (newetd!=ETDNET ? newetd==tags[tsl].tetd : tags[tsl].tflags) {
  888.                TRACEETG(&tags[ts], newetd, tsl, ts-tsl);
  889.                return(ts-tsl);
  890.           }
  891.      }
  892.      return (-1);             /* End-tag didn't match any start-tag. */
  893. }
  894. /* DESTACK:
  895.             Call ECONTEXT to see if element can be ended at this point.
  896.             and issue message if there are required tags left.
  897.             Remove the current entry from the tag stack.
  898.             Issue an error if the destacked element was not minimizable
  899.             and its end-tag was omitted.
  900. */
  901. VOID destack()
  902. {
  903.      register int ecode = 0;  /* Error code (0=o.k.). */
  904.      UNCH *eparm2 = NULL;     /* Second parameter of error message. */
  905.      register int minmsgsw;   /* 1=message if tag omitted; 0=no message. */
  906.  
  907.      /* If element has a content model (i.e., not a keyword) and there
  908.         are required tags left, and no CONREF attribute was specified,
  909.         issue an error message.
  910.      */
  911.      if (!GET(tags[ts].tetd->etdmod->ttype, MKEYWORD)
  912.      && !conrefsw
  913.      && !econtext(tags[ts].tetd->etdmod, tags[ts].tpos, &tags[ts].status)) {
  914.           if (BADPTR(nextetd))
  915.                sgmlerr(54, conpcb, tags[ts].tetd->etdgi+1, (UNCH *)0);
  916.           else
  917.            sgmlerr(30, conpcb, tags[ts].tetd->etdgi+1, nextetd->etdgi+1);
  918.      }
  919.      /* If the current tag ended with ETI, decrement the etictr.
  920.         If etictr is now zero, disable the NET delimiter.
  921.      */
  922.      if (GET(tags[ts--].tflags, TAGNET) && --etictr==0)
  923.           lexcon[lex.d.net] = lexcnm[lex.d.net] = lex.l.nonet;
  924.  
  925.      minmsgsw = BITOFF(tags[ts+1].tetd->etdmin, EMO);
  926.      if (!conrefsw && minmsgsw && (etagimsw || etagmin==MINETAG)) {
  927.           /* Minimization caused by NET delimiter. */
  928.           if (BADPTR(etagreal)) ecode = 46;
  929.           /* Minimization caused by a containing end-tag. */
  930.           else {ecode = 20; eparm2 = etagreal->etdgi+1;}
  931.      }
  932.      else if (!conrefsw && etagmin==MINSTAG && (minmsgsw || ts<=0)) {
  933.           /* Minimization caused by out-of-context start-tag. */
  934.           if (!BADPTR(stagreal)) {
  935.                ecode = ts>0 ? 39 : 89;
  936.                eparm2 = stagreal->etdgi+1;
  937.           }
  938.           /* Minimization caused by out-of-context data. */
  939.           else if (stagreal==ETDCDATA) ecode = ts>0 ? 47 : 95;
  940.           /* Minimization caused by out-of-context short start-tag. */
  941.           else ecode = ts>0 ? 48 : 96;
  942.           if (ts<=0 && ecode) eodsw = 1;
  943.      }
  944.      if (ecode) sgmlerr((UNS)ecode, conpcb, tags[ts+1].tetd->etdgi+1, eparm2);
  945.      /* TEMP: See if parser bug caused stack to go below zero. */
  946.      else if (ts<0) {sgmlerr(64, conpcb, (UNCH *)0, (UNCH *)0); ts = 0;}
  947.      TRACEDSK(&tags[ts], &tags[ts+1], ts, etictr);
  948. }
  949. /*
  950. Local Variables:
  951. c-indent-level: 5
  952. c-continued-statement-offset: 5
  953. c-brace-offset: -5
  954. c-argdecl-indent: 0
  955. c-label-offset: -5
  956. comment-column: 30
  957. End:
  958. */
  959.